Deriving a probability density calculator (functional pearl)
نویسندگان
چکیده
منابع مشابه
Deriving Backtracking Monad Transformers Functional Pearl
In a paper about pretty printing J. Hughes introdu ed two fundamental te hniques for deriving programs from their spe i ation, where a spe i ation onsists of a signature and properties that the operations of the signature are required to satisfy. Brie y, the rst te hnique, the term implementation, represents the operations by terms and works by de ning a mapping from operations to observations ...
متن کاملDeriving Probability Density Functions from Probabilistic Functional Programs
The probability density function of a probability distribution is a fundamental concept in probability theory and a key ingredient in various widely used machine learning methods. However, the necessary framework for compiling probabilistic functional programs to density functions has only recently been developed. In this work, we present a density compiler for a probabilistic language with fai...
متن کاملFunctional Models and Probability Density Functions
There exist many approaches to discern a functional relationship between two variables. A functional model is useful for two reasons: Firstly, if the function is a relatively simple model in the plane, it provides us with qualitative information about the relationship. Secondly, given a fixed value for one variable, the other one can be calculated as a means for prediction. In this paper an app...
متن کاملA new probability density function in earthquake occurrences
Although knowing the time of the occurrence of the earthquakes is vital and helpful, unfortunately it is still unpredictable. By the way there is an urgent need to find a method to foresee this catastrophic event. There are a lot of methods for forecasting the time of earthquake occurrence. Another method for predicting that is to know probability density function of time interval between earth...
متن کاملFUNCTIONAL PEARL InvertingtheBurrowsWheelertransform
The objective of this pearl is to derive the inverse of the Burrows-Wheeler transform from its specification, using simple equational reasoning. In fact, we derive the inverse of a more general version of the transform, proposed by Schindler.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2016
ISSN: 0362-1340,1558-1160
DOI: 10.1145/3022670.2951922